@charset "UTF-8";
html,
body {
  width: 100%;
  height: 100%;
  background-color: var(
    --s-background-secondary,
    var(--sm-background-secondary)
  );
}
#app {
  width: 100%;
  height: 100%;
  overflow: hidden;
}
@font-face {
  font-family: JetBrains Mono;
  font-weight: 100;
  font-style: normal;
  src:
    local('JetBrains Mono Thin'),
    url(./fonts/JetBrainsMono/JetBrainsMono-Thin.woff2) format('woff2'),
    url(./fonts/JetBrainsMono/JetBrainsMono-Thin.woff) format('woff'),
    url(./fonts/JetBrainsMono/JetBrainsMono-Thin.ttf) format('truetype');
}
@font-face {
  font-family: JetBrains Mono;
  font-weight: 100;
  font-style: italic;
  src:
    local('JetBrains Mono Thin'),
    url(./fonts/JetBrainsMono/JetBrainsMono-ThinItalic.woff2) format('woff2'),
    url(./fonts/JetBrainsMono/JetBrainsMono-ThinItalic.woff) format('woff'),
    url(./fonts/JetBrainsMono/JetBrainsMono-ThinItalic.ttf) format('truetype');
}
@font-face {
  font-family: JetBrains Mono;
  font-weight: 200;
  font-style: normal;
  src:
    local('JetBrains Mono ExtraLight'),
    url(./fonts/JetBrainsMono/JetBrainsMono-ExtraLight.woff2) format('woff2'),
    url(./fonts/JetBrainsMono/JetBrainsMono-ExtraLight.woff) format('woff'),
    url(./fonts/JetBrainsMono/JetBrainsMono-ExtraLight.ttf) format('truetype');
}
@font-face {
  font-family: JetBrains Mono;
  font-weight: 200;
  font-style: italic;
  src:
    local('JetBrains Mono ExtraLight'),
    url(./fonts/JetBrainsMono/JetBrainsMono-ExtraLightItalic.woff2)
      format('woff2'),
    url(./fonts/JetBrainsMono/JetBrainsMono-ExtraLightItalic.woff)
      format('woff'),
    url(./fonts/JetBrainsMono/JetBrainsMono-ExtraLightItalic.ttf)
      format('truetype');
}
@font-face {
  font-family: JetBrains Mono;
  font-weight: 300;
  font-style: normal;
  src:
    local('JetBrains Mono Light'),
    url(./fonts/JetBrainsMono/JetBrainsMono-Light.woff2) format('woff2'),
    url(./fonts/JetBrainsMono/JetBrainsMono-Light.woff) format('woff'),
    url(./fonts/JetBrainsMono/JetBrainsMono-Light.ttf) format('truetype');
}
@font-face {
  font-family: JetBrains Mono;
  font-weight: 300;
  font-style: italic;
  src:
    local('JetBrains Mono Light'),
    url(./fonts/JetBrainsMono/JetBrainsMono-LightItalic.woff2) format('woff2'),
    url(./fonts/JetBrainsMono/JetBrainsMono-LightItalic.woff) format('woff'),
    url(./fonts/JetBrainsMono/JetBrainsMono-LightItalic.ttf) format('truetype');
}
@font-face {
  font-family: JetBrains Mono;
  font-weight: 400;
  font-style: normal;
  src:
    local('JetBrains Mono'),
    url(./fonts/JetBrainsMono/JetBrainsMono-Regular.woff2) format('woff2'),
    url(./fonts/JetBrainsMono/JetBrainsMono-Regular.woff) format('woff'),
    url(./fonts/JetBrainsMono/JetBrainsMono-Regular.ttf) format('truetype');
}
@font-face {
  font-family: JetBrains Mono;
  font-weight: 400;
  font-style: italic;
  src:
    local('JetBrains Mono'),
    url(./fonts/JetBrainsMono/JetBrainsMono-Italic.woff2) format('woff2'),
    url(./fonts/JetBrainsMono/JetBrainsMono-Italic.woff) format('woff'),
    url(./fonts/JetBrainsMono/JetBrainsMono-Italic.ttf) format('truetype');
}
@font-face {
  font-family: JetBrains Mono;
  font-weight: 500;
  font-style: normal;
  src:
    local('JetBrains Mono Medium'),
    url(./fonts/JetBrainsMono/JetBrainsMono-Medium.woff2) format('woff2'),
    url(./fonts/JetBrainsMono/JetBrainsMono-Medium.woff) format('woff'),
    url(./fonts/JetBrainsMono/JetBrainsMono-Medium.ttf) format('truetype');
}
@font-face {
  font-family: JetBrains Mono;
  font-weight: 500;
  font-style: italic;
  src:
    local('JetBrains Mono Medium'),
    url(./fonts/JetBrainsMono/JetBrainsMono-MediumItalic.woff2) format('woff2'),
    url(./fonts/JetBrainsMono/JetBrainsMono-MediumItalic.woff) format('woff'),
    url(./fonts/JetBrainsMono/JetBrainsMono-MediumItalic.ttf) format('truetype');
}
@font-face {
  font-family: JetBrains Mono;
  font-weight: 600;
  font-style: normal;
  src:
    local('JetBrains Mono SemiBold'),
    url(./fonts/JetBrainsMono/JetBrainsMono-SemiBold.woff2) format('woff2'),
    url(./fonts/JetBrainsMono/JetBrainsMono-SemiBold.woff) format('woff'),
    url(./fonts/JetBrainsMono/JetBrainsMono-SemiBold.ttf) format('truetype');
}
@font-face {
  font-family: JetBrains Mono;
  font-weight: 600;
  font-style: italic;
  src:
    local('JetBrains Mono SemiBold'),
    url(./fonts/JetBrainsMono/JetBrainsMono-SemiBoldItalic.woff2)
      format('woff2'),
    url(./fonts/JetBrainsMono/JetBrainsMono-SemiBoldItalic.woff) format('woff'),
    url(./fonts/JetBrainsMono/JetBrainsMono-SemiBoldItalic.ttf)
      format('truetype');
}
@font-face {
  font-family: JetBrains Mono;
  font-weight: 700;
  font-style: normal;
  src:
    local('JetBrains Mono Bold'),
    url(./fonts/JetBrainsMono/JetBrainsMono-Bold.woff2) format('woff2'),
    url(./fonts/JetBrainsMono/JetBrainsMono-Bold.woff) format('woff'),
    url(./fonts/JetBrainsMono/JetBrainsMono-Bold.ttf) format('truetype');
}
@font-face {
  font-family: JetBrains Mono;
  font-weight: 700;
  font-style: italic;
  src:
    local('JetBrains Mono Bold'),
    url(./fonts/JetBrainsMono/JetBrainsMono-BoldItalic.woff2) format('woff2'),
    url(./fonts/JetBrainsMono/JetBrainsMono-BoldItalic.woff) format('woff'),
    url(./fonts/JetBrainsMono/JetBrainsMono-BoldItalic.ttf) format('truetype');
}
@font-face {
  font-family: JetBrains Mono;
  font-weight: 800;
  font-style: normal;
  src:
    local('JetBrains Mono ExtraBold'),
    url(./fonts/JetBrainsMono/JetBrainsMono-ExtraBold.woff2) format('woff2'),
    url(./fonts/JetBrainsMono/JetBrainsMono-ExtraBold.woff) format('woff'),
    url(./fonts/JetBrainsMono/JetBrainsMono-ExtraBold.ttf) format('truetype');
}
@font-face {
  font-family: JetBrains Mono;
  font-weight: 800;
  font-style: italic;
  src:
    local('JetBrains Mono ExtraBold'),
    url(./fonts/JetBrainsMono/JetBrainsMono-ExtraBoldItalic.woff2)
      format('woff2'),
    url(./fonts/JetBrainsMono/JetBrainsMono-ExtraBoldItalic.woff) format('woff'),
    url(./fonts/JetBrainsMono/JetBrainsMono-ExtraBoldItalic.ttf)
      format('truetype');
}
